Formal Specification of Holonic Control System ADACOR Product Holon, using High-Level Petri Nets
نویسندگان
چکیده
Holonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufac turing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but present weak points when the system contains many instances of the same component, since the model grows (structure and components) in a noncontrollable manner. The use of High-Level Petri Nets, allows to reduce this complexity, by compressing the representation of states, actions and events, to overcome the identified limitations and to support more complex and bigger coordination scenarios. This paper presents a formal specification of the ADACOR product holons using High-Level Petri Nets and the associated formal validation of the model. Keyworcls: Flexible Manufacturing Systems, Holonic Manufacturing Systems, Coloured Petri Nets, Formal Specification, Modelling.
منابع مشابه
A formal specification approach for holonic control systems: the ADACOR case
Distributed manufacturing control systems, like holonic control systems, are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand and to synthesize the system specifications and to validate the correctness of their models would play a key role in its design and later in its...
متن کاملA formal validation approach for holonic control system specifications
The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal valid...
متن کاملImplementation and Validation of a Holonic Manufacturing Control System
Flexible manufacturing systems are complex, stochastic environments requiring the development of innovative, intelligent control architectures that support agility and re-configurability. ADACOR holonic control system addresses this challenge by introducing an adaptive production control approach supported by the presence of supervisor entities and the self-organization capabilities associated ...
متن کاملTo a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification
Production systems must be reconfigurable and endowed with methods and tools allowing an automatic recovery of expected and unexpected errors. In this domain, error recovery in production systems is always an open problem. Multiagent systems seem to be adapted for representing this kind of problem in an attempt to arrive at a reconfigurable, adaptive, and “intelligent” manufacturing systems. Th...
متن کاملModeling of Holonic Manufacturing Control Systems Considering Reconfiguration and Timing Constraints
Automation and control systems(ACSs) must ensure the fulfillment of the current requirements in manufacturing systems, such as flexibility, distributed architecture, and agility in response to changes imposed by the market or the inevitable occurrence of faults. In this context, one solution to design ACSs is a combination of techniques such as holonic control system (HCS) and active fault-tole...
متن کامل